cos(sin^-1 x)